Type Sequencing